منابع مشابه
Multiplicative Conjunction and an Algebraic Meaning of Contraction and Weakening
We show that the elimination rule for the multiplicative (or intensional) conjunction ^ is admissible in many important multiplicative substructural logics. These include LL m (the multiplicative fragment of Linear Logic) and RMI m (the system obtained from LL m by adding the contraction axiom and its converse, the mingle axiom.) An exception is R m (the intensional fragment of the relevance lo...
متن کاملFiner Control of Weakening and Contraction : Towards aSeparated - Linear
P lotkin demonstrated how two diierent parameter-passing mechanisms could be explained by two diierent translations from the-calculus into the calculus of the continuation passing style 12]. Each of his transformations makes the control operations of each particular mechanism explicit in the transformed term, so that reduction of the transformed term by either mechanism produces equivalent resu...
متن کاملSeparating Weakening and Contraction in a Linear Lambda Calculus
We present a separated-linear lambda calculus of resource consumption based on a refinement of linear logic which allows separate control of weakening and contraction. The calculus satisfies subject reduction and confluence, and inherits previous results on the relationship of Girard’s two translations from minimal intuitionistic logic to linear logic with call-by-name and call-by-value. We con...
متن کاملContraction Semantics for Distributed Knowledge
The standard semantics of distributed knowledge in epistemic logic does not fully correspond to its underlying intuition, and moreover, does not fit well with bisimulation as a notion of epistemic equivalence. We propose an alternative semantics which resolves these problems.
متن کاملFunctorial semantics of topological theories
Following the categorical approach to universal algebra through algebraic theories, proposed by F.~W.~Lawvere in his PhD thesis, this paper aims at introducing a similar setting for general topology. The cornerstone of the new framework is the notion of emph{categorically-algebraic} (emph{catalg}) emph{topological theory}, whose models induce a category of topological structures. We introduce t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 1994
ISSN: 0168-0072
DOI: 10.1016/0168-0072(94)90020-5